Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
21	Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic Add to Reading List Source URL: cs.ioc.ee - Date: 2011-02-10 10:21:33
22	Lecture Notes on Harmony: Linear Logic Frank Pfenning Lecture 3 January 23, 2012 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2012-02-17 11:16:30
23	Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2006-10-18 10:00:12
24	Compact Proof Certificates For Linear Logic Kaustuv Chaudhuri INRIA, France http://kaustuv.chaudhuri.info Abstract. Linear logic is increasingly being used as a tool for communicating reasoning agents in domains such as Add to Reading List Source URL: kaustuv.chaudhuri.info - Date: 2012-11-06 02:56:18
25	On Structuring Proof Search for First Order Linear Logic Add to Reading List Source URL: www.ki.inf.tu-dresden.de - Date: 2006-03-26 13:44:51
26	On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal Add to Reading List Source URL: hal.archives-ouvertes.fr - Date: 2016-07-12 08:42:58
27	Emulating Linear Types in Haskell Wolfgang Jeltsch Linear logic Add to Reading List Source URL: cs.ioc.ee - Date: 2012-02-17 05:07:23
28	Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2016-08-08 07:44:57
29	Lecture Notes on Cut Reduction as Computation: Linear Logic Frank Pfenning Lecture 4 January 30, 2012 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2012-02-08 07:35:51
30	Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1 Add to Reading List Source URL: eprints.cs.univie.ac.at - Date: 2016-05-27 09:10:59

UPDATE